Blar i HVL Open på forfatter "Pun, Violet Ka I"

Viser treff 1-4 av 4

    • Cost analysis for a resource sensitive workflow modelling language 

      Ali, Muhammad Rizwan; Lamo, Yngve; Pun, Violet Ka I (Peer reviewed; Journal article, 2022)
      Workflow analysis usually requires domain-specific knowledge from the domain experts, making it a relatively manual process. In addition, workflows often cross organisational boundaries. As a result, minor local modifications ...

    • Enforced Dependencies for Active Objects 

      Pun, Violet Ka I; Stolz, Volker (Peer reviewed; Journal article, 2024)
      We present an active object-based language that records required and provided method completions ahead of method invocations. With this language, a programmer can use method declarations to specify the dependencies between ...

    • Extremely Randomized Trees With Privacy Preservation for Distributed Structured Health Data 

      Aminifar, Amin; Matin, Shokri; Rabbi, Fazle; Pun, Violet Ka I; Lamo, Yngve (Peer reviewed; Journal article, 2022)
      Artificial intelligence and machine learning have recently attracted considerable attention in the healthcare domain. The data used by machine learning algorithms in healthcare applications is often distributed over multiple ...

    • I Can See Clearly Now: Clairvoyant Assertions for Deadlock Checking 

      Abusdal, Ole Jørgen; Din, Crystal Chang; Pun, Violet Ka I; Stolz, Volker (Peer reviewed; Journal article, 2022)
      Static analysers are traditionally used to check various correctness properties of software. In the face of refactorings that can have adverse effects on correctness, developers need to analyse the code after refactoring ...